441. Fairness
پدیدآورنده : Francez, Nissim.
موضوع : ، Electronic digital computers-- Programming,، Programming languages )Electronic computers(-- Semantics,، Parallel processing )Electronic computers(
۲ نسخه از این کتاب در ۲ کتابخانه موجود است.
442. Fairness
پدیدآورنده : FRANCEZ,NISSIM
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : ELECTRONIC DIGITAL COMPUTERS-PROGRAMMING , PROGRAMMING LANGUAGES )ELECTRONIC , PARALLEL PROCESSING
رده :
QA
76
.
6
.
F7226
443. Fairness
پدیدآورنده : Francez, Nissim
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Computer programming,، Programming languages )Electronic computers( -- Semantics,، Parallel processing )Electronic computers(
رده :
QA
76
.
6
.
F72
1986
444. Faster, smarter.dollar5Beginning programming /
پدیدآورنده : Jim Buyens.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer programming.,Programming languages (Electronic computers),Computer programming.,Programming languages (Electronic computers),REFERENCE-- General.
رده :
QA76
.
6
.
B87
2003eb
445. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : / Dirk Taubner
کتابخانه: Central Library and Document Center of Shahid Chamran University (Khuzestan)
موضوع : Electronic data processing--Distributed processing,Petri nets,Programming languages (Electronic computers)
رده :
QA
,
76
.
9
,.
D5
,
T39
,
1989
446. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : Distributed processing ، Electronic data processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
.
T39
1989
447. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
9
.
D5
T39
1989
448. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده : Taubner, Dirk, 9591-
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Electronic data processing -- Distributed processing,، Petri nets,، Programming languages )Electronic computers(
رده :
QA
76
.
L28
Vol
.
369
449. Finite representations of CCS and TCSP programs by automata and Petri nets
پدیدآورنده :
کتابخانه: Central Library and Documents Center of Mazandaran University (Mazandaran)
موضوع : Electronic data processing ; Distributed processing. ; Petri nets. ; Programming languages (Electronic computers) ;
450. Flow analysis of computer programs
پدیدآورنده : Hecht, Matthew S.
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Electronic digital computers-- Programming,، Flowgraphs,، Computer algorithms
رده :
QA
76
.
6
.
H4
451. Formal Methods and Software Development :
پدیدآورنده : edited by Hartmut Ehrig, Christiane Floyd, Maurice Nivat, James Thatcher.
کتابخانه: Center and Library of Islamic Studies in European Languages (Qom)
موضوع : Computer science.,Programming languages (Electronic computers),Software engineering.
452. Formal Syntax and Semantics of Programming Languages
پدیدآورنده : \ Kenneth Slonneger, Barry L. Kurtz
کتابخانه: Library of Foreign Languages and Islamic Sources (Qom)
موضوع : Programming languages (Electronic computers) -- Syntax.,Programming languages (Electronic computers) -- Semantics.,زبان‌های برنامه‌نویسی کامپیوتر-- نحو ,زبان‌های برنامه‌نویسی کامپیوتر-- م‍ع‍ن‍ی‌ش‍ن‍اس‍ی
رده :
E-Book
,
453. Formal and natural computing : essays dedicated to Grzegorz Rozenberg
پدیدآورنده : Wilfried Brauer...]et al.[ )eds.(
کتابخانه: Library of Institute for Research in Fundamental Sciences (Tehran)
موضوع : ، Programming languages )Electronic computers(,، Computer science -- Mathematics,، Machine theory,، Petri nets,، Graph grammars,، Rozenberg, Grzegorz
رده :
QA
76
.
L28
Vol
.
2300
454. Formal description technique
پدیدآورنده : / edited by K.R. Parker, G.A. Rose
کتابخانه: Tehran University, technical faculty libraries 1 (Tehran)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages -- Congresses
رده :
QA
76
.
6
.
I185
1992
455. Formal description techniques, II
پدیدآورنده : / Edited by Son T. Vuong
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I1778
1989
456. Formal description techniques III
پدیدآورنده : / Edited by Juan Quemada, Jose Manas, Enrique Vazquez
کتابخانه: Central Library and Documents Center of Tehran University (Tehran)
موضوع : Electronic digital computers -- Programming -- Congresses,Formal languages-- Congresses
رده :
QA
76
.
6
.
I185
1990
457. Formal language description languages for computer programming; proceedings
پدیدآورنده : Edited by T.B. Steel, Jr
کتابخانه: Library of College of Science University of Tehran (Tehran)
موضوع : Congresses ، Programming languages )Electronic computers(
رده :
QA
76
.
I17
1964
458. Formal language description languages for computer programming; proceedings
پدیدآورنده : IFIP Working Conference on Formal Language Description Languages, )4691, Vienna, Austria(
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Congresses
رده :
QA
76
.
I17
1964
459. Formal methods for concurrency
پدیدآورنده : Fencott, Clive
کتابخانه: Central Library of Amirkabir University of Technology (Tehran)
موضوع : Real-time data processing , Real-time programming , Programming Languages )Electronic computers(
رده :
QA
76
.
54
.
F46
1996
460. Formal semantics of Programming languages
پدیدآورنده : Courant Computer Science Symposium, 2d, New York, 0791
کتابخانه: Central Library of Sharif University of Technology (Tehran)
موضوع : ، Programming languages )Electronic computers(-- Semantics-- Congresses
رده :
QA
76
.
7
.
C68
1970
